The Requirement and Design Speci � cation Language Spectrum

This paper gives a short introduction to the algebraic speci cation language Spectrum Using simple well known examples the objectives and concepts of Spectrum are explained The Spectrum language is based on axiomatic speci cation techniques and is oriented towards functional programs Spectrum includes the following features partial functions de nedness logic and xed point theory higher order elements and typed abstraction non strict functions and in nite objects full rst order predicate logic with induction principles predicative polymorphism with sort classes parameterization and modularization Spectrum is based on the concept of loose semantics